$\forall$$p$:FinProbSpace, $a$:$\mathbb{Q}$, $n$:$\mathbb{N}$. E($n$;$a$) = $a$